1. A theory of programming language semantics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics

رده :
QA
76
.
7
.
M54

2. A theory of programming language semantics

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics

رده :
QA
76
.
7
.
M54

3. Advanced R

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)

رده :
QA276
.
45
.
R3
H335
2019

4. Advances in computers.

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computers.,Electronic data processing.,Computers.,Electronic data processing.,REFERENCE-- Questions & Answers.

رده :
QA76
.
A38eb
vol
.
13

5. Algebraic approaches to program semantics

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics,Algebra

رده :
QA
76
.
7
.
M34
1986

6. An Attribute grammar for the semantic analysis of ADA

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
73
.
A35
J845
1982

7. An Attribute grammar for the semantic analysis of ADA

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics

رده :
QA
76
.
73
.
A35
.
A87
1982

8. Automata, languages, and programming :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.

9. CONCUR'91 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.

10. Communicating Process Architectures 2002 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)

رده :
QA76
.
73
.
O2
W67
2002eb

11. Complementary Definitions of Programming Language Semantics.

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers),Semantics.

رده :
QA76
.
7
J436
2007

12. Complementary definitions of programming language semantics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(,، Pascal )Computer program language(,، Semantics

رده :
QA
76
.
7
.
D66

13. Complementary definitions of programming language semantics

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Programming languages (Electronic computers),Pascal (Computer program language),Semantics

رده :
QA
76
.
7
.
D66

14. Computation of language; An essay on syntay, Semantics and pragmatics in natural man- machine communication

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Artificial intelligence ► Programming languages (Electronic computers) ► Machine theory

رده :
H377c

15. Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Artificial intelligence,، Programming languages )Electronic computers(,، Machine theory

رده :
Q
335
.
H39
1989

16. Computational Semantics with Functional Programming

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)

رده :
QA76
,.
7
.
E43
2010

17. Computational semantics with functional programming

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر

رده :
QA
76
.
7
.
E35C6
2010
E-Book
,

18. Computational semantics with functional programming /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik

رده :
QA76
.
7
.
E43
2010eb

19. Current trends in concurrency :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.

20. Denotational semantics

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics

رده :
QA
76
.
7
.
S74